|
|
|
| e-Pub |
Previous | 
Home
Section: Partnerships and Cooperations
National Initiatives
ANR
B. Brogliato coordinates the ANR project Digitslid (PRC, ANR-18-CE40-0008-01), Differentiateurs et commandes homogenes par modes glissants en temps discret: l'approche implicite. Partners: LS2N (Ecole Centrale de Nantes), Inria Lille Nord Europe (team Non-A-Post), and Tripop. October 2018-September 2021. 12 participants overall (3 post-doc students recruited by the project, 3 Ph.D. students supported by other means). Total financial support by the ANR: 338 362 euros (100 762 for Tripop, 18 months of post-doc to be recruited in 2019).
FUI Modeliscale.
https://team.inria.fr/modeliscale/
The ModeliScale FUI focuses on the modeling, simulation and analysis of large cyber-physical systems. It federates the research activities of several teams, covering a broad spectrum of topics, namely hybrid systems modeling & verification, numerical analysis, programming language design and automatic control. Our research agenda includes the following tracks:
-
New compilation techniques for Modelica modelers: structural analysis of multimode DAE (Differential Algebraic Equations) systems, modular compilation, combining state-machines and non-smooth dynamical systems (complementarity dynamical systems and Filippov differential inclusions), contract-based specification of cyber-physical systems requirements, requirements capture using under-/over-determined DAE systems.
-
Simulation of large cyber-physical systems: distributed simulation, discretization methods for non-smooth dynamical systems, space-/time-adaptive discretization methods for multimode DAE systems, quantized state solvers (QSS).
-
Guaranteed numerics: guaranteed simulation of non-smooth and hybrid dynamical systems, numerical methods preserving invariant properties of hybrid systems, contract-based reasoning methods.
Inria Project Lab (IPL): ModeliScale, Languages and Compilation for Cyber-Physical System Design
https://team.inria.fr/modeliscale/
The project gathers researchers from three Inria teams, and from three other research labs in Grenoble and Paris area.
| Name | Team | Inria Center or Laboratory |
| Vincent Acary | Bipop | Inria Grenoble Rhône Alpes |
| Bernard Brogliato | ||
| Albert Benveniste | Hycomes Inria Rennes | |
| Benoît Caillaud | Bretagne Atlantique | |
| Khalil Ghorbal | ||
| Marc Pouzet | Parkas | ENS |
| Tim Bourke | Inria Paris | |
| Goran Frehse | Tempo | Verimag-univ. Grenoble Alpes |
| Antoine Girard | L2S-CNRS, Saclay | |
| Eric Goubault | Cosynus | LIX, École Polytechnique, |
| Sylvie Putot | Saclay |
The main objective of ModeliScale is to advance modeling technologies (languages, compile-time analyses, simulation techniques) for CPS combining physical interactions, communication layers and software components. We believe that mastering CPS comprising thousands to millions of components requires radical changes of paradigms. For instance, modeling techniques must be revised, especially when physics is involved. Modeling languages must be enhanced to cope with larger models. This can only be done by combining new compilation techniques (to master the structural complexity of models) with new mathematical tools (new numerical methods, in particular).
ModeliScale gathers a broad scope of experts in programming language design and compilation (reactive synchronous programming), numerical solvers (nonsmooth dynamical systems) and hybrid systems modeling and analysis (guaranteed simulation, verification). The research program is carried out in close cooperation with the Modelica community as well as industrial partners, namely, Dassault Systèmes as a Modelica/FMI tool vendor, and EDF and Engie as end users.